type Foo = symbol
